satisfia 相关硕士博士期刊学术论文 - 搜论网

satisfia相关论文

基于线性规划的RTL可满足性求解和性质检验

采用线性规划作为基本工具开发一个RTL可满足性求解器，并将其应用于解决RTL性质检验问题．深入研究了使用线性规划约束对RTL电路元器......

期刊

线性规划寄存器传输级可满足性性质检验形式验证 linear programming register transfer level satisfia

看过本文同时还关注